A decade of TAPSOFT
Identifieur interne : 00C799 ( Main/Exploration ); précédent : 00C798; suivant : 00C800A decade of TAPSOFT
Auteurs : Hartmut Ehrig [Allemagne] ; Bernd Mahr [Allemagne]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: The relationship between theory and practice of software development on the background of the driving forces in the 70'ies and 80'ies was the main topic of the first TAPSOFT conference in 1985. After a decade of TAPSOFT the intention of this survey is not so much to give a complete review of the TAPSOFT conferences but to discuss the general background and to focus on specific aspects of theory and practice which seem to be typical for TAPSOFT: The support of software development by algebraic methods, techniques and tools, in particular corresponding activities at TU Berlin. The survey in this paper shows that there is quite a different kind of progress in the decades before and after TAPSOFT'85: Before 1985 the focus was more on the development of new concepts while consolidation and attempts to adapt to practical needs was dominant after 1985. Finally the expectations for the future of theory and practice of software development are discussed on the background of the driving forces in the 90'ies hoping that TAPSOFT will be able to meet these requirements.
Url:
DOI: 10.1007/3-540-59293-8_184
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000562
- to stream Istex, to step Curation: 000558
- to stream Istex, to step Checkpoint: 002C14
- to stream Main, to step Merge: 00D056
- to stream Main, to step Curation: 00C799
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">A decade of TAPSOFT</title><author><name sortKey="Ehrig, Hartmut" sort="Ehrig, Hartmut" uniqKey="Ehrig H" first="Hartmut" last="Ehrig">Hartmut Ehrig</name></author><author><name sortKey="Mahr, Bernd" sort="Mahr, Bernd" uniqKey="Mahr B" first="Bernd" last="Mahr">Bernd Mahr</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:1967DA601AB99555AB02C3652798D8756681EBCC</idno><date when="1995" year="1995">1995</date><idno type="doi">10.1007/3-540-59293-8_184</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-CCGVZZS4-P/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">000562</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000562</idno><idno type="wicri:Area/Istex/Curation">000558</idno><idno type="wicri:Area/Istex/Checkpoint">002C14</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">002C14</idno><idno type="wicri:doubleKey">0302-9743:1995:Ehrig H:a:decade:of</idno><idno type="wicri:Area/Main/Merge">00D056</idno><idno type="wicri:Area/Main/Curation">00C799</idno><idno type="wicri:Area/Main/Exploration">00C799</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">A decade of TAPSOFT</title><author><name sortKey="Ehrig, Hartmut" sort="Ehrig, Hartmut" uniqKey="Ehrig H" first="Hartmut" last="Ehrig">Hartmut Ehrig</name><affiliation wicri:level="3"><country>Allemagne</country><placeName><settlement type="city">Berlin</settlement><region type="land" nuts="2">Berlin</region></placeName><wicri:orgArea>Technical University of Berlin, Franklinstraße 28/29, 10587</wicri:orgArea></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country></affiliation></author><author><name sortKey="Mahr, Bernd" sort="Mahr, Bernd" uniqKey="Mahr B" first="Bernd" last="Mahr">Bernd Mahr</name><affiliation wicri:level="3"><country>Allemagne</country><placeName><settlement type="city">Berlin</settlement><region type="land" nuts="2">Berlin</region></placeName><wicri:orgArea>Technical University of Berlin, Franklinstraße 28/29, 10587</wicri:orgArea></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><title level="s" type="abbrev">Lect Notes Comput Sci</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: The relationship between theory and practice of software development on the background of the driving forces in the 70'ies and 80'ies was the main topic of the first TAPSOFT conference in 1985. After a decade of TAPSOFT the intention of this survey is not so much to give a complete review of the TAPSOFT conferences but to discuss the general background and to focus on specific aspects of theory and practice which seem to be typical for TAPSOFT: The support of software development by algebraic methods, techniques and tools, in particular corresponding activities at TU Berlin. The survey in this paper shows that there is quite a different kind of progress in the decades before and after TAPSOFT'85: Before 1985 the focus was more on the development of new concepts while consolidation and attempts to adapt to practical needs was dominant after 1985. Finally the expectations for the future of theory and practice of software development are discussed on the background of the driving forces in the 90'ies hoping that TAPSOFT will be able to meet these requirements.</div></front></TEI><affiliations><list><country><li>Allemagne</li></country><region><li>Berlin</li></region><settlement><li>Berlin</li></settlement></list><tree><country name="Allemagne"><region name="Berlin"><name sortKey="Ehrig, Hartmut" sort="Ehrig, Hartmut" uniqKey="Ehrig H" first="Hartmut" last="Ehrig">Hartmut Ehrig</name></region><name sortKey="Ehrig, Hartmut" sort="Ehrig, Hartmut" uniqKey="Ehrig H" first="Hartmut" last="Ehrig">Hartmut Ehrig</name><name sortKey="Mahr, Bernd" sort="Mahr, Bernd" uniqKey="Mahr B" first="Bernd" last="Mahr">Bernd Mahr</name><name sortKey="Mahr, Bernd" sort="Mahr, Bernd" uniqKey="Mahr B" first="Bernd" last="Mahr">Bernd Mahr</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00C799 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00C799 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:1967DA601AB99555AB02C3652798D8756681EBCC
|texte= A decade of TAPSOFT
}}
| This area was generated with Dilib version V0.6.33. |  |